def foo(arg: Any) -&gt; <a href="psi_element://#typename#int">int</a>